1. Algebraic algorithmics and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985: Proceedings
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Error-correcting codes )Information theory(,Data processing -- Congresses ، Algebra,Congresses ، Algorithms,Congresses ، Coding theory
رده :
QA
76
.
L28
Vol
.
229
2. Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Coding theory
رده :
QA
76
.
L4
v
.
229
3. Algebraic algorithms & error-correcting codes:3rd international
پدیدآورنده : CALMET,JACQUES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ALGEBRA-DATA PROCESSING-CONGRESSES , ALGORITHMS-CONGRESSE , CODING THEORY-CONGRESSES
رده :
QA
155
.
7
.
E4
A55
1985
4. Artificial Intelligence and Symbolic Computation
پدیدآورنده : / Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
5. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده : Jacques Calmet, Jan Plaza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
6. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
7. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده : Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
8. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
9. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : International Conference AISMC-1, )2991: Karlsruhe, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
I5488
1992
10. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
11. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
پدیدآورنده : Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1138
12. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده : Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
13. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
144
14. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
144
15. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet,Title
موضوع : Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده : Jacques Calmet, Carla Limongelli, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
17. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
پدیدآورنده : Jacque Calmet, Carla Limongelli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
18. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
19. Intelligent Computer Mathematics
پدیدآورنده : / Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
